21. Formal specification and software development

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
B575
1982

22. Formal specification and software development

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
B575

23. Guide to Scientific Computing in C++ /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
6-76
.
66

24. Introducing the MySQL 8 document store /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: MySQL (Electronic resource),MySQL (Electronic resource),Database management.,Databases.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- SQL.,Database management.,Databases.,Databases.

رده :
QA76
.
73
.
S67

25. It's all about coordination :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
58
.
I87
2018eb

26. Languages, methodologies, and development tools for multi-agent systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
76
.
I58
L33
2009

27. Languages, methodologies, and development tools for multi-agent systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
76
.
I58
L33
2009

28. Larch

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(

رده :
QA
76
.
6
.
H66
1993

29. Larch

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(

رده :
QA
76
.
6
.
H66
1993

30. Learn Android Studio 3 with Kotlin :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Application software-- Development.,Computer programming-- software development.,COMPUTERS-- Operating Systems-- Android.,COMPUTERS-- Programming-- Mobile Devices.,Mobile & handheld device programming-- Apps programming.,Programming & scripting languages: general.

رده :
QA76
.
76
.
A65

31. Learn Java for Android development /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Android (Electronic resource),Android (Electronic resource),Android (Electronic resource),Computer software-- Development.,Java (Computer program language),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Java (Computer program language),Java (Computer program language)

رده :
QA76
.
73
.
J38
F75
2010eb

32. Learn Swift by Building Applications :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: iOS (Electronic resource),IOS (Electronic resource),Application software-- Development.,Mobile apps.,Swift (Computer program language),Application software-- Development.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Operating systems.,Programming & scripting languages: general.,Swift (Computer program language)

رده :
QA76
.
73
.
S95
A836
2018eb

33. Mastering Qt 5 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Qt (Electronic resource),Qt (Electronic resource),Application software.,Application software.,Business applications.,Computer programming / software development.,Computers-- Desktop Applications-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- C.,Programming & scripting languages: general.

رده :
QA76
.
9
.
U83

34. Mastering Rust :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)

رده :
QA76
.
7

35. MetaSoft primer :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
7
.
B57
1987

36. MetaSoft primer : towards a metalanguage for applied denotational semantics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
288

37. MySQL Connector/Python revealed :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: MySQL (Electronic resource),MySQL (Electronic resource),Python (Computer program language),Computer programming-- software development.,COMPUTERS-- Databases-- General.,Databases.,Programming & scripting languages: general.,Python (Computer program language)

رده :
QA76
.
9
.
D32

38. Practical TLA+ :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.

رده :
QA76
.
7

39. Practical rails projects /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Application software-- Design.,Online social networks.,Ruby (Computer program language),Web site development.,Application software-- Design.,Computer programming.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,COMPUTERS-- Programming-- Object Oriented.,Informatique.,Online social networks.,Online social networks.,Ruby (Computer language),Ruby (Computer program language),Ruby (Computer program language),Web site development.,Web site development.,Web sites-- Design.

رده :
QA76
.
64
.
A44
2007eb

40. Pro Android with Kotlin :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Mobile apps.,Application software-- Development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Programming & scripting languages: general.,WAP (wireless) technology.

رده :
QA76
.
59
.
S63
2018